(un) la représentation graphique d'une relation ayant un ensemble de départ et un ensemble d'arrivée; les couples d'une relation sont unies par des flèches d'un ensemble à l'autre.
En mathématiques, un diagramme sagittal (ou schéma sagittal) est un diagramme représentant une relation entre deux ensembles finis. Il permet notamment de visualiser si une application est injective ou surjective.